Gå till sökfältet
Gå till sidans huvudinnehåll
Gå till tillgänglighetsredogörelsen
Forskning.fi
Menu
Suomeksi
På svenska
In English
Ingångssida
Sökning
Vetenskaps- och innovationspolitik
Vetenskaps- och forskningsnyheter
På svenska
- 244 results
Publikationer
244
Utlysningar
0
Beviljade finansiering
0
Personer
0
Data
0
Infrastrukturer
0
Organisationer
0
Projekt
0
Publikationer -
244
sökresultat
Gå till sökresultaten
Visa som bild
Begränsa sökning
Resultaten visas 1 - 10 / 244
10
50
100
resultat / per sida
Vilka
publikations
uppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
On the power of top-down
branching
heuristics
Referentgranskad
Järvisalo, Matti; Junttila, Tommi
AAAI PRESS
2008
Restricted
Branching
in Clause Learning DPLL
Referentgranskad
Järvisalo, Matti
-
2007
Limitations of Restricted
Branching
in Clause Learning
Referentgranskad
Järvisalo, Matti; Junttila, Tommi
SPRINGER
2007
Limitations of Restricted
Branching
in Clause Learning
Referentgranskad
Järvisalo, Matti; Junttila, Tommi
Constraints
2009
Industrial-Strength SAT Solving and Restricted
Branching
Järvisalo, Matti
-
2007
Mesocsopic Model of Crack
Branching
Referentgranskad
Heino, P.; Kaski, K.
Physical Review
1996
Impact of Restricted
Branching
on Clause Learning SAT Solving
Järvisalo, Matti
-
2007
The Effect of Structural
Branching
on the Efficiency of Clause Learning SAT Solving An Experimental Study
Referentgranskad
DOI
10.1016/j.jalgor.2008.02.005
Järvisalo, Matti; Niemelä, Ilkka
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC
2008
Emerging Technologies:
Heuristics
and methodology: Etica Deliverable D.1.1
Öppen tillgång
Ikonen, Veikko; Kanerva, Minni; Kouri, Panu
ETICA Project
2009
Centrality
Heuristics
for Exact Model Counting
Referentgranskad
Öppen tillgång
DOI
10.1109/ICTAI.2019.00017
Bliem, Bernhard; Järvisalo, Matti
Proceedings-International Conference on Tools With Artificial Intelligence
2020
On the power of top-down
branching
heuristics
Referentgranskad
2008
Restricted
Branching
in Clause Learning DPLL
Referentgranskad
2007
Limitations of Restricted
Branching
in Clause Learning
Referentgranskad
2007
Limitations of Restricted
Branching
in Clause Learning
Referentgranskad
2009
Industrial-Strength SAT Solving and Restricted
Branching
2007
Mesocsopic Model of Crack
Branching
Referentgranskad
1996
Impact of Restricted
Branching
on Clause Learning SAT Solving
2007
The Effect of Structural
Branching
on the Efficiency of Clause Learning SAT Solving An Experimental Study
Referentgranskad
DOI
10.1016/j.jalgor.2008.02.005
2008
Emerging Technologies:
Heuristics
and methodology: Etica Deliverable D.1.1
Öppen tillgång
2009
Centrality
Heuristics
for Exact Model Counting
Referentgranskad
Öppen tillgång
DOI
10.1109/ICTAI.2019.00017
2020
Föregående
1
2
3
4
5
Nästa
Resultaten visas 1 - 10 / 244
Sida 1
Sort
